Existence versus Exploitation: The Opacity of Backbones and Backdoors Under a Weak Assumption

Backdoors and backbones of Boolean formulas are hidden structural properties. A natural goal, already in part realized, is that solver algorithms seek to obtain substantially better performance by exploiting these structures. However, the present paper is not intended to improve the performance of SAT solvers, but rather is a cautionary paper. In particular, the theme of this paper is that there is a potential chasm between the existence of such structures in the Boolean formula and being able to effectively exploit them. This does not mean that these structures are not useful to solvers. It does mean that one must be very careful not to assume that it is computationally easy to go from the existence of a structure to being able to get one's hands on it and/or being able to exploit the structure. For example, in this paper we show that, under the assumption that P $\neq$ NP, there are easily recognizable families of Boolean formulas with strong backdoors that are easy to find, yet for which it is hard (in fact, NP-complete) to determine whether the formulas are satisfiable. We also show that, also under the assumption P $\neq$ NP, there are easily recognizable sets of Boolean formulas for which it is hard (in fact, NP-complete) to determine whether they have a large backbone

A Catalog of Galaxy Clusters Observed by XMM-Newton

Aims: We present a uniform catalog of the images and radial profiles of the temperature, abundance, and brightness for 70 clusters of galaxies observed by XMM-Newton. Methods: We use a new "first principles" approach to the modeling and removal of the background components; the quiescent particle background, the cosmic diffuse emission, the soft proton contamination, and the solar wind charge exchange emission. Each of the background components demonstrate significant spectral variability, several have spatial distributions that are not described by the photon vignetting function, and all except for the cosmic diffuse emission are temporally variable. Because these backgrounds strongly affect the analysis of low surface brightness objects, we provide a detailed description our methods of identification, characterization, and removal. Results: We have applied these methods to a large collection of XMM-Newton observations of clusters of galaxies and present the resulting catalog. We find significant systematic differences between the Chandra and XMM-Newton temperatures.Comment: Accepted for publication in A&A, 55 pages with 42 figure

FearNot! An Anti-Bullying Intervention: Evaluation of an Interactive Virtual Learning Environment

Original paper can be found at: http://www.aisb.org.uk/publications/proceedings.shtm

Nonlocal symmetries of Riccati and Abel chains and their similarity reductions

We study nonlocal symmetries and their similarity reductions of Riccati and Abel chains. Our results show that all the equations in Riccati chain share the same form of nonlocal symmetry. The similarity reduced $N^{th}$ order ordinary differential equation (ODE), $N=2, 3,4,...$, in this chain yields $(N-1)^{th}$ order ODE in the same chain. All the equations in the Abel chain also share the same form of nonlocal symmetry (which is different from the one that exist in Riccati chain) but the similarity reduced $N^{th}$ order ODE, $N=2, 3,4,$, in the Abel chain always ends at the $(N-1)^{th}$ order ODE in the Riccati chain. We describe the method of finding general solution of all the equations that appear in these chains from the nonlocal symmetry.Comment: Accepted for publication in J. Math. Phy

Sewing sound quantum flesh onto classical bones

Semiclassical transformation theory implies an integral representation for stationary-state wave functions $\psi_m(q)$ in terms of angle-action variables ($\theta,J$). It is a particular solution of Schr\"{o}dinger's time-independent equation when terms of order $\hbar^2$ and higher are omitted, but the pre-exponential factor $A(q,\theta)$ in the integrand of this integral representation does not possess the correct dependence on $q$. The origin of the problem is identified: the standard unitarity condition invoked in semiclassical transformation theory does not fix adequately in $A(q,\theta)$ a factor which is a function of the action $J$ written in terms of $q$ and $\theta$. A prescription for an improved choice of this factor, based on succesfully reproducing the leading behaviour of wave functions in the vicinity of potential minima, is outlined. Exact evaluation of the modified integral representation via the Residue Theorem is possible. It yields wave functions which are not, in general, orthogonal. However, closed-form results obtained after Gram-Schmidt orthogonalization bear a striking resemblance to the exact analytical expressions for the stationary-state wave functions of the various potential models considered (namely, a P\"{o}schl-Teller oscillator and the Morse oscillator).Comment: RevTeX4, 6 page

LANDSAT-4 horizon scanner performance evaluation

Representative data spans covering a little more than a year since the LANDSAT-4 launch were analyzed to evaluate the flight performance of the satellite's horizon scanner. High frequency noise was filtered out by 128-point averaging. The effects of Earth oblateness and spacecraft altitude variations are modeled, and residual systematic errors are analyzed. A model for the predicted radiance effects is compared with the flight data and deficiencies in the radiance effects modeling are noted. Correction coefficients are provided for a finite Fourier series representation of the systematic errors in the data. Analysis of the seasonal dependence of the coefficients indicates the effects of some early mission problems with the reference attitudes which were computed by the onboard computer using star trackers and gyro data. The effects of sun and moon interference, unexplained anomalies in the data, and sensor noise characteristics and their power spectrum are described. The variability of full orbit data averages is shown. Plots of the sensor data for all the available data spans are included

Potential for cogeneration of heat and electricity in California industry, phase 2

The nontechnical issues of industrial cogeneration for 12 California firms were analyzed under three categories of institutional settings: (1) industrial ownership without firm sales of power; (2) industrial ownership with firm sales of power; and (3) utility or third party ownership. Institutional issues were analyzed from the independent viewpoints of the primary parties of interest: the industrial firms, the electric utilities and the California Public utilities Commission. Air quality regulations and the agencies responsible for their promulgation were examined, and a life cycle costing model was used to evaluate the economic merits of representative conceptual cogeneration systems at these sites. Specific recommendations were made for mitigating measures and regulatory action relevant to industrial cogeneration in California